Jc: an Eecient and Portable Sequential Implementation of Janus
نویسندگان
چکیده
Janus is a language designed for distributed constraint programming 12]. This paper describes jc, an eecient and portable sequential implementation of Janus, which compiles Janus programs down to C code. Careful attention to the C code generated, together with some simple local optimizations, allows the system to have fairly good performance despite the lack (at this time) of global ow analysis and optimization.
منابع مشابه
jc: An Efficient and Portable Sequential Implementation of Janus
Janus is a language designed for distributed constraint programming 12]. This paper describes jc, an eecient and portable sequential implementation of Janus, which compiles Janus programs down to C code. Careful attention to the C code generated, together with some simple local optimizations, allows the system to have fairly good performance despite the lack (at this time) of global ow analysis...
متن کاملQD-Janus: a Sequential Implementation of Janus in Prolog
Janus is a language designed for distributed constraint programming. This paper describes QDJanus, a sequential implementation of Janus in Prolog. The compiler uses a number of novel analyses and optimizations to improve the performance of the system. The choice of Prolog as the target language for a compiler, although unusual, is motivated by the following: (i) the semantic gap between Janus a...
متن کاملSemantics and Compilation of Recursive Sequential Streams in 8½
Recursive deenition of streams (innnite lists of values) have been proposed as a fundamental programming structure in various elds. A problem is to turn such expressive recursive deenitions into an eecient imperative code for their evaluation. One of the main approach is to restrict the stream expressions to interpret them as a temporal sequence of values. Such sequential stream rely on a clock...
متن کاملDerivation of Eecient Data Parallel Programs
This paper considers the expression and derivation of eecient data parallel programs for SIMD and MIMD machines. It is shown that eecient parallel programs must utilise both sequential and parallel computation; these are termed hybrid programs. The Bird{Meertens formalism, a calculus of higher order functions, is used to derive and express programs. Our goal is to derive eecient parallel progra...
متن کاملAn Object-oriented Implementation Model for the Promoter Language Technical Report
The PROMOTER programming language is designated for data parallel applications that are to run on massively parallel computers with distributed memory. This paper presents an object-oriented implementation model for the PROMOTER language. An object-oriented approach to compile data-parallel programs to message passing programs can reduce design complexity, facilitate reuse of components, and ea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992